Java bytecode - PDFSEARCH.IO - Document Search Engine

Java bytecode
Results: 201

#	Item
21	Simple verification technique for complex Java bytecode subroutines Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2004-06-29 02:28:59
22	Mastering Java Bytecode with Learn someASM bytecode to yourself! Add to Reading List Source URL: s3-eu-west-1.amazonaws.com - Date: 2012-05-25 06:22:43
23	COMP 520 FallThe language Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-09-24 10:40:20 Java platform Java Computing platforms Cross-platform software Concurrent programming languages Java bytecode This Constructor
24	COMP 520 FallVirtual machines (1) Virtual machines Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-10-19 00:48:21 Computing Computer architecture Software Central processing unit Assembly languages Programming language implementation Instruction set Bytecode Virtual machine Java bytecode Processor register AT&T Hobbit
25	COMP 520 FallVirtual machines (1) COMP 520 Fall 2007 Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-10-19 00:48:32 Computing Software Computer architecture Central processing unit Programming language implementation Assembly languages Java virtual machine Java bytecode Peephole optimization Dalvik Bytecode Instruction set
26	A Provably Correct Stackless Intermediate Representation for Java Bytecode Delphine Demange1 , Thomas Jensen2 , and David Pichardie2 2 1 Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2010-09-23 11:52:52
27	COMP 520 FallNative code generation (1) Native code generation Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-11-03 22:45:28 Computing Software Programming language implementation Compiler construction Assembly languages Java bytecode Bytecode Java virtual machine Just-in-time compilation Interpreter Compiler Ahead-of-time compilation
28	Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization Haichuan Wang1, Peng Wu2, David Padua1 1 University of Illinois at Urbana-Champaign Add to Reading List Source URL: cgo.org Language: English - Date: 2014-02-24 13:06:24 Computing Software Programming language implementation Compiler construction Cross-platform software Array programming languages Functional languages Interpreter Bytecode Just-in-time compilation Compiler Java
29	Aachen Department of Computer Science Technical Report Modular Termination Proofs of Recursive Java Bytecode Programs Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-04-16 09:49:59
30	Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode M. Brockschmidt, T. Str¨ oder, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-04-16 09:49:59

UPDATE